The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Aart Middeldorp Books

Results for Aart Middeldorp

Showing 1 to 4 of 4 results
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings: 9195 (Lecture Notes in Computer Science) Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings: 9195 (Lecture Notes in Computer Science) by Amy P. Felty,Aart Middeldorp

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings: 9195 (Lecture Notes in Computer Science)

by Amy P. Felty,Aart Middeldorp


ISBN 13: 9783319214009

Format: Paperback (670 pages)
Publisher: Springer
Published: 30 Jul 2015

Save for later

 
New : $56.86  
New : $56.86
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science) Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science) by Roel de Vrijer,Femke van Raamsdonk,Aart Middeldorp,Vincent van Oostrom

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science)

by Roel de Vrijer,Femke van Raamsdonk,Aart Middeldorp,Vincent van Oostrom


ISBN 13: 9783540309116

Format: Paperback (660 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $125.79  
New : $125.79
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings: Proceedings of the ... (Lecture Notes in Computer Science) Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings: Proceedings of the ... (Lecture Notes in Computer Science) by Aart Middeldorp, Taisuke Sato

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings: Proceedings of the ... (Lecture Notes in Computer Science)

by Aart Middeldorp, Taisuke Sato


ISBN 13: 9783540666776

Format: Paperback (388 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $65.89  
New : $65.89
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312) Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312) by Ken McMillan,Aart Middeldorp,Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312)

by Ken McMillan,Aart Middeldorp,Andrei Voronkov


ISBN 13: 9783642452208

Format: Paperback (808 pages)
Publisher: Springer
Published: 02 Dec 2013

Save for later

 
New : $69.34  
New : $69.34